-
1 true formula
Большой англо-русский и русско-английский словарь > true formula
-
2 true formula
Математика: истинная формула -
3 true formula
мат. -
4 true formula
Англо-русский словарь по исследованиям и ноу-хау > true formula
-
5 effectively true formula
Математика: эффективно истинная формулаУниверсальный англо-русский словарь > effectively true formula
-
6 general recursively true formula
Математика: общерекурсивно истинная формулаУниверсальный англо-русский словарь > general recursively true formula
-
7 identically true formula
Математика: тождественно истинная формулаУниверсальный англо-русский словарь > identically true formula
-
8 effectively true formula
English-Russian scientific dictionary > effectively true formula
-
9 general recursively true formula
English-Russian scientific dictionary > general recursively true formula
-
10 identically true formula
English-Russian scientific dictionary > identically true formula
-
11 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
12 formula
формула
absorption formula формула абсорбции
Bowie formula формула Боуи
character formula формула признака
constitutional formula структурная формула
Darcy-Weisbach formula формула Дарси-Вейсбаха
dental formula зубная формула
digital formula цифровая формула
gravity formula гравиметрическая формула
Helmert's formula формула Гельмерта
Kutter's formula формула Куттера
pleochroic formula формула плеохроизма
sinal formula формула синуса
Stoke's formula формула Стокса
true thickness formula формула истинной мощности
-
13 true thickness formula
Макаров: формула истинной мощностиУниверсальный англо-русский словарь > true thickness formula
-
14 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
15 истинная формула
Большой англо-русский и русско-английский словарь > истинная формула
-
16 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
17 выводить
I несовер. - выводить;
совер. - вывести( кого-л./что-л.)
1) take out, lead out, bring out, move out;
help out (помогать кому-л. выйти) ;
make go out, turn out (заставлять кого-л. выйти) ;
withdraw, call off (войска)
2) (устранять) remove, take out выводить из состава президиума ≈ to remove from the presidium
3) (уничтожать) extirpate, destroy;
exterminate( вредителей) ;
remove (пятна)
4) (делать вывод) derive, conclude, infer, deduce Comb выводить формулу to deduce/derive a formula
5) (изображать) depict, portray( в литературном произведении)
6) (старательно изобразить) write/draw carefully, trace, trace out painstakingly ∙ выводить из себя выводить из строя выводить из терпения выводить на чистую воду выводить наружу II несовер. - выводить;
совер. - вывести (кого-л./что-л.) grow, raise (выращивать) ;
hatch (высиживать) (о наседке), вывести
1. (вн.;
удалять за пределы чего-л.) bring* (smb.) out, remove (smb.), send* (smb.) out, take* (smb.) out;
(войска) withdraw* (smth.) ;
2. (вн.;
ведя, направлять куда-л.) lead* (smb., smth.) out;
take* (smb., smth.) out;
~ детей в сад take* the children out into the garden;
~ лошадь из конюшни lead* horse out of the stable;
вывести спутник на орбиту put* a sputnik into orbit;
3. (вн. из рд.;
исключать) remove (smb. from) ;
вывести кого-л. из состава президиума remove smb. from the presidium;
вывести кого-л. из игры disqualify smb. ;
~ из строя disable, put* out of action;
4. (вн. из рд.) ;
~ кого-л. из состояния покоя disturb smb.`s composure;
~ цех из прорыва get* the shop/department out of difficulties;
вывести самолёт из пике pull a plane out of a dive;
5. (вн.;
делать вывод) draw* (smth.), arrive (at) ;
~ формулу derive a formula;
6. (вн.;
высиживать - о птицах) hatch (smth.) ;
вывести цыплят hatch chickens;
7. (вн.;
выращивать) breed* (smth.), raise (smth.) ;
~ новую породу скота breed* a new strain of cattle;
~ засухоустойчивую пшеницу breed* drought-resistant wheat;
8. (вн.;
сооружать) put* up (smth.) ;
9. (вн.;
уничтожать) exterminate (smth.) ;
~ пятно take* out a spot;
10. (вн.;
старательно писать, рисовать и т. п.) trace out (smth.) ;
~ буквы trace out the letters;
~ отметку define the average mark;
вывести что-л. наружу bring* smth. out into the open;
вывести кого-л. в люди give* smb. a start in life, introduce smb. to the world;
вывести кого-л. из себя infuriate smb., drive* smb. to distraction;
вывести кого-л. из равновесия disturb smb.`s balance/equilibrium, upset* smb. ;
get* smb. rattled разг. ;
вывести кого-л. из терпения exhaust smb.`s patience, exasperate;
вывести кого-л. на чистую воду show* smb. up in his true colours;
~ся, вывестись
11. (переставать существовать) die out, become* extinct;
12. (выходить из употребления) go* out of use;
(об обычаях) die out;
go* out;
13. (исчезать) disappear;
(о пятнах тж.) come* out;
14. (появляться на свет - о птенцах) hatch out.Большой англо-русский и русско-английский словарь > выводить
-
18 TF
1) Общая лексика: hum. сокр. Transcription Factor2) Компьютерная техника: Top Failure, Trap Flag, Type File3) Морской термин: Tropical Fresh Water4) Медицина: table feed5) Американизм: Tax Free6) Спорт: Total Fishing7) Военный термин: Team Fortress, Territorial Forces, The Forgotten, Transaction Format, Two Frags, tactical fighter, tactical force, tail fuze, task force, technical forecasting, technology forecasting, terrain feature, terrain following, test facility, test flight, threshold factor, time fuze, total forfeiture, trainer fighter, training facility, training film, trip fuel8) Техника: tabulating form, tantalum film, temperature factor, temporary failure, thermal feedback, time of fall, tracking filter, transfer factor, transfer function, transfer of function, transformer, transmitter frequency, transparent film, transport factor, true fault, tunable filter, tuned frequency9) Шутливое выражение: Terminal Flatulence10) Химия: Tin Free11) Математика: Theory Formation12) Метеорология: Terminal Forecast13) Бухгалтерия: Total Fecundity14) Финансы: финансирование терроризма (Terrorist Financing)15) Страхование: Tropical freshwater load line16) Биржевой термин: Trust Fund17) Грубое выражение: Titty Fuck18) Сокращение: Civil aircraft marking (Iceland), French Southern Territories, Tactical Frequency, Technical Fault, Terrain-Following, Turbofan, thread forming, tile floor, time of fail, time of flight19) Вычислительная техника: Trace Flag (Assembler)20) Нефть: formation temperature, torque factor, trip function, испытания до отказа (test to failure), испытательная установка (test facility)21) Транспорт: Tariff Filing, Turbo Formula22) Пищевая промышленность: Tropical Fresh23) Фирменный знак: Transformer Design24) Менеджмент: total float25) Полимеры: thin film, time factor26) Программирование: Text Field27) Автоматика: term frequency28) Контроль качества: test to failure29) Океанография: Thermal Factor30) Химическое оружие: Trickling Filter31) Расширение файла: Turbo Profiler Configuration32) Нефть и газ: tank farm, РП, нефтебаза, резервуарный парк33) Электротехника: test facilities34) Имена и фамилии: Thomas Finney35) Снабжение: test fixture36) Общественная организация: Tibet Fund37) Должность: Teaching Fellow38) Чат: True Friend39) Программное обеспечение: Tiny Fugue -
19 Tf
1) Общая лексика: hum. сокр. Transcription Factor2) Компьютерная техника: Top Failure, Trap Flag, Type File3) Морской термин: Tropical Fresh Water4) Медицина: table feed5) Американизм: Tax Free6) Спорт: Total Fishing7) Военный термин: Team Fortress, Territorial Forces, The Forgotten, Transaction Format, Two Frags, tactical fighter, tactical force, tail fuze, task force, technical forecasting, technology forecasting, terrain feature, terrain following, test facility, test flight, threshold factor, time fuze, total forfeiture, trainer fighter, training facility, training film, trip fuel8) Техника: tabulating form, tantalum film, temperature factor, temporary failure, thermal feedback, time of fall, tracking filter, transfer factor, transfer function, transfer of function, transformer, transmitter frequency, transparent film, transport factor, true fault, tunable filter, tuned frequency9) Шутливое выражение: Terminal Flatulence10) Химия: Tin Free11) Математика: Theory Formation12) Метеорология: Terminal Forecast13) Бухгалтерия: Total Fecundity14) Финансы: финансирование терроризма (Terrorist Financing)15) Страхование: Tropical freshwater load line16) Биржевой термин: Trust Fund17) Грубое выражение: Titty Fuck18) Сокращение: Civil aircraft marking (Iceland), French Southern Territories, Tactical Frequency, Technical Fault, Terrain-Following, Turbofan, thread forming, tile floor, time of fail, time of flight19) Вычислительная техника: Trace Flag (Assembler)20) Нефть: formation temperature, torque factor, trip function, испытания до отказа (test to failure), испытательная установка (test facility)21) Транспорт: Tariff Filing, Turbo Formula22) Пищевая промышленность: Tropical Fresh23) Фирменный знак: Transformer Design24) Менеджмент: total float25) Полимеры: thin film, time factor26) Программирование: Text Field27) Автоматика: term frequency28) Контроль качества: test to failure29) Океанография: Thermal Factor30) Химическое оружие: Trickling Filter31) Расширение файла: Turbo Profiler Configuration32) Нефть и газ: tank farm, РП, нефтебаза, резервуарный парк33) Электротехника: test facilities34) Имена и фамилии: Thomas Finney35) Снабжение: test fixture36) Общественная организация: Tibet Fund37) Должность: Teaching Fellow38) Чат: True Friend39) Программное обеспечение: Tiny Fugue -
20 tf
1) Общая лексика: hum. сокр. Transcription Factor2) Компьютерная техника: Top Failure, Trap Flag, Type File3) Морской термин: Tropical Fresh Water4) Медицина: table feed5) Американизм: Tax Free6) Спорт: Total Fishing7) Военный термин: Team Fortress, Territorial Forces, The Forgotten, Transaction Format, Two Frags, tactical fighter, tactical force, tail fuze, task force, technical forecasting, technology forecasting, terrain feature, terrain following, test facility, test flight, threshold factor, time fuze, total forfeiture, trainer fighter, training facility, training film, trip fuel8) Техника: tabulating form, tantalum film, temperature factor, temporary failure, thermal feedback, time of fall, tracking filter, transfer factor, transfer function, transfer of function, transformer, transmitter frequency, transparent film, transport factor, true fault, tunable filter, tuned frequency9) Шутливое выражение: Terminal Flatulence10) Химия: Tin Free11) Математика: Theory Formation12) Метеорология: Terminal Forecast13) Бухгалтерия: Total Fecundity14) Финансы: финансирование терроризма (Terrorist Financing)15) Страхование: Tropical freshwater load line16) Биржевой термин: Trust Fund17) Грубое выражение: Titty Fuck18) Сокращение: Civil aircraft marking (Iceland), French Southern Territories, Tactical Frequency, Technical Fault, Terrain-Following, Turbofan, thread forming, tile floor, time of fail, time of flight19) Вычислительная техника: Trace Flag (Assembler)20) Нефть: formation temperature, torque factor, trip function, испытания до отказа (test to failure), испытательная установка (test facility)21) Транспорт: Tariff Filing, Turbo Formula22) Пищевая промышленность: Tropical Fresh23) Фирменный знак: Transformer Design24) Менеджмент: total float25) Полимеры: thin film, time factor26) Программирование: Text Field27) Автоматика: term frequency28) Контроль качества: test to failure29) Океанография: Thermal Factor30) Химическое оружие: Trickling Filter31) Расширение файла: Turbo Profiler Configuration32) Нефть и газ: tank farm, РП, нефтебаза, резервуарный парк33) Электротехника: test facilities34) Имена и фамилии: Thomas Finney35) Снабжение: test fixture36) Общественная организация: Tibet Fund37) Должность: Teaching Fellow38) Чат: True Friend39) Программное обеспечение: Tiny Fugue
- 1
- 2
См. также в других словарях:
Formula One video games — Ever since Pole Position in 1983, Formula One has always plays a part of the racing genre in video games. Geoff Crammond s 1991 simulation Grand Prix played an integral role in moving Formula One games from arcade games to being full simulations… … Wikipedia
Formula E — has been used for two different types of formula racing.One was basically Formula Ford with 1600 cc engines and outboard suspension. Formula E had a particularly strong following in Northern England.Formula E is also used as a class in kart… … Wikipedia
True Confessions — was a confession magazine published by Fawcett Publications, beginning in 1922. With a cover price of 25 cents, the front cover of the October, 1922, issue heralded, Our Thousand Dollar Prize Winner All Hell Broke Loose . During the 1920s, Jack… … Wikipedia
Formula One Triathlon — or F 1 is a triathlon race that consists of a swim bike run combination in multiple groups. For example, a swim to bike to run followed by another swim to bike to run combination done in one event or as a group of events. Another variation… … Wikipedia
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
Formula Student Germany — Starting in 2006, the Verein Deutscher Ingenieure holds the Formula Student Germany competition. Students from all over the world meets every August for three days at Hockenheimring to measure their construction and performance with each other in … Wikipedia
Formula for primes — In mathematics, a formula for primes is a formula generating the prime numbers, exactly and without exception. No easily computable such formula is known. A great deal is known about what, more precisely, such a formula can and cannot be.Prime… … Wikipedia
Formula 17 — Infobox Film name = Formula 17 caption = director = Chen Yin jung writer = Rady Fu starring = Tony Yang Duncan Lai producer = Aileen Li distributor = Strand Releasing budget = released = 2 April 2004 (Taiwan) runtime = 93 min. language = Mandarin … Wikipedia
Formula fiction — In popular culture, formula fiction is literature in which the storylines and plots have been reused to the extent that the narratives are predictable. It is similar to genre fiction, which identifies a number of specific settings that are… … Wikipedia
Formula language — The Formula language is a scripting language used by Lotus Notes. It is often referred to as @Formula language (pronounced at formula ) because many language elements start with the @ character.It was created by Ray Ozzie during the early… … Wikipedia
Formula Project — This article is about a fictional weapon series from the Universal Century timeline of the anime Gundam metaseries. F71 G Cannon This Earth Federation attack mobile suit is the first mass production model derived from SNRI s Formula Project.The G … Wikipedia